#!/bin/sh
sed -e 's/--hide//g ; s/^[0-9] *//g ;
	s/ *{/="\\/g ; s/^}$/"/g ;
	s/@ /$/g ; s/\(^\t.*$\)/\1 \\/g ;
	s/://g ; s/(tm)//g ; s/ \/ /_/g ; s/C++/CPP/g ;
	s/\([a-zA-Z]\) \([a-zA-Z]\)/\1_\2/g'
